nLab Martijn den Besten

Redirected from "infinitary Lawvere theory".
Note: infinitary algebraic theory and infinitary algebraic theory both redirect for "infinitary Lawvere theory".

Selected writings

Benno van den Berg, Martijn den Besten, Quadratic type checking for objective type theory (arXiv:2102.00905)

category: people

Created on October 2, 2022 at 11:06:13. See the history of this page for a list of all contributions to it.